#include <stdio.h>

int print_string(char str[])
{
    printf("Result: %s\n", str);
    return 0;
}